Optimal control of the Stokes equations: conforming and non-conforming finite element methods under reduced regularity

This paper deals with a control-constrained linear-quadratic optimal control problem governed by the Stokes equations. It is concerned with situations where the gradient of the velocity field is not bounded. The control is discretized by piecewise constant functions. The state and the adjoint state are discretized by finite element schemes that are not necessarily conforming. The approximate control is constructed as projection of the discrete adjoint velocity in the set of admissible controls. It is proved that under certain assumptions on the discretization of state and adjoint state this approximation is of order 2 in L2(Ω). As first example a prismatic domain with a reentrant edge is considered where the impact of the edge singularity is counteracted by anisotropic mesh grading and where the state and the adjoint state are approximated in the lower order Crouzeix-Raviart finite element space. The second example concerns a nonconvex, plane domain, where the corner singularity is treated by isotropic mesh grading and state and adjoint state can be approximated by a couple of standard element pairs.